TABLE OF CONTENTS: Introduction; de Broglie's paradox.; Quantum theory of distant particles; The EPR paradox; Einstein locality and Bell's inequality; Recent research on Bell's inequality; General consequences of Einstein locality; Nonloeality and relativity; Time-symmetric theories; The Bohm-Aharonov hypothesis; Experiments on Einstein locality; Reduction of the wave packet; Measurements, reality and consciousness; Conclusions.

The problem is addressed of establishing the satisfiability of prenex formulas involving a single universal quantifier, in diversified axiomatic set theories. A rather general decision method for solving this problem is illustrated through the treatment of membership theories of increasing strength, ending with a subtheory of Zermelo-Fraenkel which is already complete with respect to the ∀*∀ class of sentences. NP-hardness and NP-completeness results concerning the problems under study are achieved and a technique for restricting the universal quantifier is presented.

We present a complete and cut-free proof-system for a fragment of MTL, where modal operators are only labelled by bounded intervals with rational endpoints.

We investigate axiomatizability of various fragments of first order computational tree logic showing that the fragments with the modal operator F are non axiomatizable. These results shows that the only axiomatizable fragment is the one with the modal operator next only.

Construction of the trunk/caudal region of the vertebrate embryo involves a set of distinct molecules and processes whose relationships are just coming into focus. In addition to the subdivision of the embryo into head and trunk domains, this “caudalisation” process requires the establishment and maintenance of a stem zone. This sequentially generates caudal tissues over a long period which then undergo differentiation and patterning in the extending body axis. Here we review recent studies that show that changes in the signalling (...) properties of the paraxial mesoderm act as a switch that controls onset of differentiation and pattern in the spinal cord. These findings identify distinct roles for different caudalising factors; in particular, Fibroblast Growth Factor (FGF) inhibits differentiation in the caudal stem zone, while Retinoic acid (RA) provided rostrally by somitic mesoderm is required for neuronal differentiation and establishment of ventral neural pattern. Furthermore, the mutual opposition of FGF and RA pathways controls not only neural differentiation but also mesoderm segmentation and might also underlie the progressive assignment of rostrocaudal identity by regulating Hox gene availability and activation. BioEssays 26:857–869, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analyzes the different types of conditionals, including their applications and potential problems. Other topics include defeasible logics, the Ramsey test, and a unified view of consequence relation and belief revision. Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence.

This paper presents an overview of my work in philosophy from my first book on Friedrich Schiller and the political sublime to my most recent project on listening to traumatic forms of violence. Starting with a reflection on the autobiographical character of philosophy, I propose to take up the question of an aesthetic dimension of philosophical critique, where aesthetics is understood as an always already embodied perspective on the world, on truth, and on philosophical activity, as well as an always (...) already political realm, where the distribution of sense pre-determines our approach and articulation of experience. Departing from aesthetics understood and deployed as critique, the paper moves on to ask about the specific frameworks of sense or grammars that determine in advance the conditions of audibility in the realms of memory-building and history-making—particularly in those contexts where historical, political, and institutional forms of violence produce silencing and erasure. Putting in dialogue the latter with decolonial studies, I (re)interpret “traumatic violence” as a colonizing form of violence, understanding that one of its central aspects is that it is not only an assault on life but on the conditions of production of sense that make life legible as such. In this context, my project on grammars of listening seeks to carefully unpack these complex intersections while also explaining why I believe that a radical form of listening is an essential subversive/imaginative strategy against traumatic/colonial violence. (shrink)

Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gödel's writings are among the topics covered. (...) Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible set"--Provided by publisher. (shrink)

Spingersi ai confini dell'esperienza del corpo - amore, sofferenza, vecchiaia, morte - attraverso la letteratura, la filosofia, le arti figurative, eventi etico-politici e personali, frammenti di racconto.